|
Sex differences in schizophrenia-spectrum diagnoses: results from a 30-year health record registry
Ferrara, Maria; Curtarello, Eleonora Maria Alfonsina; Gentili, Elisabetta; Domenicano, Ilaria; Vecchioni, Ludovica; Zese, Riccardo; Alberti, Marco; Franchini, Giorgia; Sorio, Cristina; Benini, Lorenzo; Little, Julian; Carozza, Paola; Dazzan, Paola; Grassi, Luigi
dettagli >>
|
ARCHIVES OF WOMENS MENTAL HEALTH
Vol. 27, No. 1, pp: 11-20, Anno: 2024 |
|
|
|
|
Machine learning from real data: A mental health registry case study
Gentili, Elisabetta; Franchini, Giorgia; Zese, Riccardo; Alberti, Marco; Ferrara, Maria; Domenicano, Ilaria; Grassi, Luigi
dettagli >>
|
COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE UPDATE
Vol. 5, No. 1, pp: 100132-1-100132-10, Anno: 2024 |
|
|
|
|
Establishment of a Public Mental Health Database for Research Purposes in the Ferrara Province: Development and Preliminary Evaluation Study
Ferrara, Maria; Gentili, Elisabetta; Belvederi Murri, Martino; Zese, Riccardo; Alberti, Marco; Franchini, Giorgia; Domenicano, Ilaria; Folesani, Federica; Sorio, Cristina; Benini, Lorenzo; Carozza, Paola; Little, Julian; Grassi, Luigi
dettagli >>
|
JMIR MEDICAL INFORMATICS
Vol. 11, No. 1, pp: 1-15, Anno: 2023 |
|
|
|
|
Probabilistic inductive constraint logic
Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Alberti, Marco; Lamma, Evelina
dettagli >>
|
MACHINE LEARNING
Vol. 110, No. 4, pp: 723-754, Anno: 2021 |
|
|
|
|
Dischargeable Obligations in the ScIFF Framework
Alberti, M.; Gavanelli, M.; Lamma, E.; Riguzzi, F.; Satoh, K.; Zese, R.
dettagli >>
|
FUNDAMENTA INFORMATICAE
Vol. 176, No. 3-4, pp: 321-348, Anno: 2020 |
|
|
|
|
MAP Inference for Probabilistic Logic Programming
Bellodi, E.; Alberti, M.; Riguzzi, F.; Zese, R.
dettagli >>
|
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 20, No. 5, pp: 641-655, Anno: 2020 |
|
|
|
|
Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina
dettagli >>
|
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46-1-46-20, Anno: 2018 |
|
|
|
|
cplint on SWISH: Probabilistic Logical Inference with a Web Browser
Alberti, Marco; Bellodi, Elena; Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo
dettagli >>
|
INTELLIGENZA ARTIFICIALE
Vol. 11, No. 1, pp: 47-64, Anno: 2017 |
|
|
|
|
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination
S., Balbi; C., Giupponi; P., Perez; Alberti, Marco
dettagli >>
|
ENVIRONMENTAL MODELLING & SOFTWARE
Vol. 45, No. 1, pp: 29-51, Anno: 2013 |
|
|
|
|
The CHR-based Implementation of the SCIFF Abductive System
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina
dettagli >>
|
FUNDAMENTA INFORMATICAE
Vol. 124, No. 4, pp: 365-381, Anno: 2013 |
|
|
|
|
A Computational Logic Application Framework for Service Discovery and Contracting
Alberti, Marco; Cattafi, Massimiliano; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello; M., Montali; P., Torroni
dettagli >>
|
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH
Vol. 8, No. 3, pp: 1-25, Anno: 2011 |
|
|
|
|
Learning specifications of interaction protocols and business processes and proving their properties
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Storari, Sergio
dettagli >>
|
INTELLIGENZA ARTIFICIALE
Vol. 5, No. 1, pp: 71-75, Anno: 2011 |
|
|
|
|
NO Revision and NO Contraction
G. R., Wheeler; Alberti, Marco
dettagli >>
|
MINDS AND MACHINES
Vol. 21, No. 1, pp: 411-430, Anno: 2011 |
|
|
|
|
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
Alberti, Marco; P., Dell'Acqua; L. M., Pereira
dettagli >>
|
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 62, No. 3-4, pp: 161-186, Anno: 2011 |
|
|
|
|
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
M., Montali; P., Torroni; F., Chesani; P., Mello; Alberti, Marco; Lamma, Evelina
dettagli >>
|
FUNDAMENTA INFORMATICAE
Vol. 102, No. 3-4, pp: 325-361, Anno: 2010 |
|
|
|
|
Expressing and Verifying Business Contracts with Abductive Logic Programming
Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P.
dettagli >>
|
INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE
Vol. 12, No. 4, pp: 9-38, Anno: 2008 |
|
|
|
|
Verifiable agent interaction in abductive logic programming: the SCIFF framework
Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
dettagli >>
|
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Vol. 9, No. 4, pp: 29:1-29:43, Anno: 2008 |
|
|
|
|
Specification and verification of agent interaction protocols in a logic-based system
Alberti, Marco; Chesani, F; Daolio, D; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
dettagli >>
|
SCALABLE COMPUTING. PRACTICE AND EXPERIENCE
Vol. 8, No. 1, pp: 1-13, Anno: 2007 |
|
|
|
|
Mapping Deontic Operators to Abductive Expectations
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Sartor, G; Torroni, P.
dettagli >>
|
COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY
Vol. 12, No. 1, pp: 205-225, Anno: 2006 |
|
|
|
|
Compliance verification of agent interaction: A logic-based software tool
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Chesani, F; Mello, P; Torroni, P.
dettagli >>
|
APPLIED ARTIFICIAL INTELLIGENCE
Vol. 20, No. 2-4, pp: 133-157, Anno: 2006 |
|
|
|